1. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
2. Theory of computation
پدیدآورنده : / Dexter C. Kozen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
3. Theory of computation
پدیدآورنده : / Dexter C. Kozen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
